抽象高度自动化的驾驶功能由于其高复杂性和动态环境而对安全保证构成了挑战。UL 4600是自动产品的安全标准,要求使用安全性能指标(SPI)在确定违规时通过监视和采取措施的安全案件的有效性不断确保安全案件的有效性。尽管标准和伴侣文献中提供了许多混凝土SPI的例子,但它们对实现安全性的贡献理由通常是隐含的。在本文中,我们将最初的工作介绍了使用SPI的参数模式,以确保整个系统的整个生命周期中安全案例的有效性。我们的目的是使使用SPI的隐含论点明确,并基于此,以分析可能破坏对所选SPI集的信心的情况。为了维持SPI的有效性,我们提出了一种通过使用Meta-SPI不断监视其预期性能的方法。
主要关键词
![arxiv:2410.00578V1 [CS.SE] 2024年10月1日PDF文件第1页](/bimg/2/23c478846aaba390b4765e885d4187da0e49da7e.webp)
![arxiv:2410.00578V1 [CS.SE] 2024年10月1日PDF文件第2页](/bimg/c/c42346768f73e8bc660bc013c74ae63f299b3a20.webp)
![arxiv:2410.00578V1 [CS.SE] 2024年10月1日PDF文件第3页](/bimg/2/2096f684c93de1670ab77f65be59791616062432.webp)
![arxiv:2410.00578V1 [CS.SE] 2024年10月1日PDF文件第4页](/bimg/0/0e1722473b6056095dff72924505385c4dc1512e.webp)
![arxiv:2410.00578V1 [CS.SE] 2024年10月1日PDF文件第5页](/bimg/7/7d11c07a279126f4626e410ba240efe0aa107691.webp)
